<?php 
  header ("HTTP/1.1 301 Moved Permanently"); 
  header ("Location: http://www.eclipse.org/gef/documentation.php"); 
  exit(); 
?>